Automating Software Reuse with Amphion
نویسندگان
چکیده
The construction of libraries of reusable software components is the standard software engineering solution for improving software development productivity and quality. By encapsulating usable functionality in software components (e.g. subroutines, object classes), and then reusing those components, software of greater functionality can be developed in less time, with some assurance that the overall system is correct because it is built from trusted components.
منابع مشابه
Automatic Domain - Oriented Software Design
This paper describes a formal approach to automating domain-oriented software design. The formal approach ensures that a us-er's problem specification is correctly implemented, given a validated domain theory. A declarative domain theory defines the semantics of a domain-oriented specification language and its relationship to implementation-level subroutines. Formal specification development an...
متن کاملAutomating Software Reuse
ment, whose objective is to empower domain experts themselves to specialize AM-PHION to an application domain. It is meant to be the automatic programming analogue of application generator generator technology. META-AMPHION will include an extension of the current user interface to guide domain experts in creating and extending a domain theory (in fact, the current user interface is already sui...
متن کاملAmphion/NAV: Deductive Synthesis of State Estimation Software
This paper describes technology developed for the Amphion/NAV synthesis system. Building on previous work in Amphion/NAIF, this system synthesizes graduate-level textbook examples of single-mode geometric state estimation software. Amphion/NAV includes explanation technology for mapping the internal representations of a proof (generated through deductive synthesis) that a program is correct, to...
متن کاملA Formal Approach to Domain-Oriented Software Design Environments
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesis. A declarative domain theory defines the semantics of a domain-oriented specification language and its relationship to implementation-level subroutines. Formal specification development and reuse is made accessible t...
متن کاملLogic-Based Program Synthesis: State of the Art and Future Trends
Constructing certifiably reliable software systems is difficult. Deductive program synthesis techniques (Flener 1995, Manna and Waldinger 1980) can currently be used to construct small software systems or to organize small sets of software components in a reliable manner. In order for synthesis techniques to be applicable to real-world problems outside the experimental laboratory, they must be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996